Term-labeled Categorial Type Systems*
نویسنده
چکیده
Through language, we are able to assign symbolic analyses to linguistic entities physical objects and events whose complexity has no intrinsic upper bound. Such symbolic analyses are abstract, since a single physical entity can support distinct analyses. Yet we have partial intuitive access to the properties of these analyses through their projections in different 'dimensions', including the widely recognized and studied dimensions of phonology, syntax, and semantics/pragmatics. Each of these dimensions gives rise to a dimension-specific problem of compositionality:
منابع مشابه
Tree Models and (Labeled) Categorial Grammar
This paper studies the relation between some extensions of the nonassociative Lambek Calculus NL and their interpretation in tree models (free groupoids). We give various examples of sequents that are valid in tree models, but not derivable in NL. We argue why tree models may not be axiomatizable if we add finitely many derivation rules to NL, and proceed to consider labeled calculi instead. We...
متن کاملComments to Yao and Zou on: “Hybrid Categorial Type Logics and the Formal Treatment of Chinese”
The paper “Hybrid Categorial Type Logics and the Formal Treatment of Chinese” presents the modeling of several linguistic phenomena occurring in Chinese. It relies on the formal framework of Hybrid Categorial Logics (HCL). This framework takes benefit from the ability to parametrize resource-sensitive logical systems with structural properties (such as associativity and commutativity), resultin...
متن کاملReranking a wide-coverage ccg parser
n-best parse reranking is an important technique for improving the accuracy of statistical parsers. Reranking is not constrained by the dynamic programming required for tractable parsing, so arbitrary features of each parse may be considered. We adapt the reranking features and methodology used by Charniak and Johnson (2005) for the C&C Combinatory Categorial Grammar parser, and develop new fea...
متن کاملCategorial Type Logics
perspective, labels represent an extra `informational resource' which is present in deduction and can play a variety of roles. One obtains a scala of labeling regimes depending on the degree of autonomy between the formula component and the label component of the basic declarative units. At the conservative end of the spectrum, the label simply keeps a passive record of inferential steps. Curry...
متن کاملMultiply Quantified Internally Headed Relative Clause in Japanese: A Skolem Term Based Approach
This paper presents an analysis of Internally Headed Relative Clause (IHRC) construction in Japanese within the framework of Combinatory Categorial Grammar [Steedman 2000]. Shimoyama [1999] argues that when an IHRC appears within the scope of a universal quantifier, the interpretation of the IHRC exemplifies E-type anaphora and that the LF representation of the IHRC should have a variable bound...
متن کامل